(struct w32_display_info): Add mouse_face_hidden.

diff --git a/src/w32term.h b/src/w32term.h
index 8f7411cb737bb23bd4bcc10316c80893e17153f7..dee495de0cd867573eb1a821c2d841f899e4fd5a 100644 (file)
--- a/src/w32term.h
+++ b/src/w32term.h
@@ -195,6 +195,9 @@ struct w32_display_info
   /* Nonzero means defer mouse-motion highlighting.  */
   int mouse_face_defer;
 
+  /* Nonzero means that the mouse highlight should not be shown.  */
+  int mouse_face_hidden;
+
   int mouse_face_image_state;
 
   char *w32_id_name;